/*
//docs go in widgets/docs/*.php and return :
//1) an array with the parameters
var doc=[
"label:<br/>",
"valueTrue:<br/>",
"valueFalse:<br/>"
":<br/>"
];
*/
var el=document.getElementById("<?php echo $_GET['el'] ?>");
var p="<?php echo(isset($_GET['p'])?$_GET['p']:'') ?>";
var w=p.split(';'),wc=w.length;

el.label='';//(wc>0?w[0]:'');
el.valueTrue=(wc>1?w[1]:'');
el.valueFalse=(wc>2?w[2]:'');
el.innerHTML=el.label+"\
slidertje\
";
//onclick=\"alert();\"
//this.value=(this.checked?this.true:this.false);
//alert(el.id+")))"+el.label+el.valueTrue+el.valueFalse);

<?php
?>
